References

Abelson et al., 1985
Harold Abelson, Gerald Jay Sussman, and Julie Sussman.
Structure and Interpretation of Computer Programs.
MIT Press, Cambridge, Massachusetts, 1985.

Brachman and Schmolze, 1985
Ronald J. Brachman and James G. Schmolze.
An overview of the KL-ONE knowledge representation system.
Cognitive Science, 9(2):171–216, April–June 1985.

Cheeseman, 1985
Peter Cheeseman.
In defense of probability.
In Proceedings IJCAI-85, pages 1002–1009. International Joint Committee for Artificial Intelligence, August 1985.

Haugeland, 1981
John Haugeland, editor.
Mind Design.
Bradford Books, Montgomery, Vermont, 1981.

Lenat, 1981
Douglas B. Lenat.
The nature of heuristics.
Technical Report CIS-12 (SSL-81-1), Xerox Palo Alto Research Centers, April 1981.

Levesque, 1984a
Hector J. Levesque.
Foundations of a functional approach to knowledge representation.
Artificial Intelligence, 23(2):155–212, July 1984.

Levesque, 1984b
Hector J. Levesque.
A logic of implicit and explicit belief.
In Proceedings AAAI-84, pages 198–202. American Association for Artificial Intelligence, August 1984.